Nuprl Definition : mklnk 0,22
lnk$n{$a to $b} == <"$a","$b","$n"> 
latex

Definitions<a,b>, "$x"
FDL editor aliasesmklnk

origin